Froschkönig, oder, Der eiserne Heinrich is not used in this library's catalog. Froschkönig is used instead.
Try a search for Froschkönig